41. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
Classification :
QA
3
.
L28
no
.
500
42. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday
Author: edited by J. Diller and G. H. Muller
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory,، Schutte, Kurt - Bibliography
Classification :
QA
1
.
L4
v
.
500
43. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday
Author: edited by J. Diller and G. H. Mیller
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
Classification :
QA
9
.
54
.
I8
1974
44. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday
Author: edited by J. Diller and G. H. Muller
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
Vol
.
500
45. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday
Author: / edited by J. Diller and G. H. Muller
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory - Congresses,Schutte Kurt - Bibliography
Classification :
510
L471
No
.
500
46. Intuitionism and Proof Theory
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
47. Intuitionism and proof theory; Proceedings of the Summer Conference at Buffalo N. Y. 1968
Author: / edited by A. Kino, J. Myhill, R. E. Vesley
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical - Congresses
Classification :
511
.
3
C748
1968
48. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
Author: Edited by A. Kino, J. Myhill and R. E. Vesley
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Intuitionistic mathematics
Classification :
QA
9
.
C742
49. Mathematical Linguistics and Proof Theory
Author: Wojciech Buszkowski
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
50. Mathematical intuitionism : introduction to proof theory
پدیدآورنده : Dragalin, Albert Grigorevich
موضوع : ، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
51. Mathematical intuitionism : introduction to proof theory
Author: Dragalin, Albert Grigor'evich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D7313
52. Model theory and algebraic geometry: An introduction to E. Hrushovski's proof of the geometric mordell - lang conjecture
Author:
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Model theory (Mathematical logic),Algebraic geometry
Classification :
QA
,
3
,.
L28
,
NO
.
1696
,
1999
53. Model theory and algebraic geometry: an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Author: Elisabeth Bouscaren, ]ed.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Model theory,، Nosa Detected Damaged Record #4254
Classification :
QA
3
.
L28
no
.
1696
54. Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Author: Elisabeth Bouscaren )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory,، Arithmetical algebraic geometry,، Mordell conjecture
Classification :
QA
3
.
L28
Vol
.
1696
55. Number theory:an introduction to proof
Author: VANDEN EYNDEN,CHARLES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: NUMBERS,THEORY OF
Classification :
QA
241
.
E95
56. Ordinal analysis with an introduction to proof theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ;
57. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
Author: Troelstra, Anne Sjerp
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
T84
1968
58. Proof Theory
Author: by Kurt Schütte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
59. Proof Theory for Fuzzy Logics
Author: \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Fuzzy logic.,Proof theory.,منطق فازی
Classification :
E-Book
,
